
<?php
	echo "谢添江";
	echo "软件4班";
	echo "2022125030416";
?>
